Z-modules and full completeness of multiplicative linear logic
نویسندگان
چکیده
منابع مشابه
Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract)
We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear Logic and prove full completeness for Multiplicative Linear Logic with the MIX rule: every winning strategy is the denotation of a unique cut-free proof net. A key role is played by the notion of history-free strategy;...
متن کاملGames and Full Completeness for Multiplicative Linear Logic
We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear Logic and prove full completeness for Multiplicative Linear Logic with the MIX rule: every winning strategy is the denotation of a unique cut-free proof net. A key role is played by the notion of history-free strategy;...
متن کاملFull Completeness of the Multiplicative Linear Logic of Chu Spaces
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a natural bijection with the binary logical transformations of the corresponding operations on the category of Chu spaces on a two-letter alphabet. This is the online version of the paper of the same title appearing in th...
متن کاملFull completeness of the multiplicative linear logic ofChu
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a natural bijection with the binary logical transformations of the corresponding functors on the category of Chu spaces on a two-letter alphabet.
متن کاملLinear Logic, Totality and Full Completeness
I give a ‘totality space’ model for linear logic [4], derived by taking an abstract view of computations on a datatype. The model has similarities with both the coherence space model and game-theoretic models [1, 5], but is based upon a notion of total object. Using this model, I prove a full completeness result, along the lines of the results for game theoretic models in [1] and [5]. In other ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2001
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(00)00029-4